turing machine formalization中文什么意思

图灵晃式化

图灵机形式化

• machine:    n. 1.机(器)，机械；机关，机构 ...
• turing machine:    杜林机 [图灵机; 确定型图灵机; ...
• formalization:    成为正式; 定型化; 集权和分权；正 ...